formal logic
Kelime Anlamı :

1. yapısal mantık.
2. genel mantık.
Tanımlar :
1. the study of the properties of propositions and deductive reasoning by abstraction and analysis of the form rather than the content of propositions under consideration.
from The American Heritage® Dictionary of the English Language, 4th Edition
1. mathematical logic.
2. A particular logical calculus.
from Wiktionary, Creative Commons Attribution/Share-Alike License
1. any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
from WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.